Logical framework - PDFSEARCH.IO - Document Search Engine

Logical framework
Results: 288

#	Item
21	ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-08-13 12:44:18 Computability theory Logic Proof theory Mathematics Mathematical logic Reverse mathematics Model theory Philosophy of mathematics Symbol Fixed-point theorems Primitive recursive functional Generalised Whitehead product
22	PolicyMorph: Interactive Policy Transformations for a Logical Attribute-Based Access Control Framework Michael LeMay, Omid Fatemieh, and Carl A. Gunter University of Illinois at Urbana-Champaign ABSTRACT Add to Reading List Source URL: seclab.illinois.edu Language: English - Date: 2011-03-29 12:02:58
23	CLP Standard Logical Framework Format If resubmitting from the previous year(s) the Final Report from your previous CLP project and a logical framework should be submitted to CLP by 26 OctoberIf the Logical Framew Add to Reading List Source URL: www.conservationleadershipprogramme.org Language: English - Date: 2015-09-30 10:06:55
24	A logical framework for incremental type-checking Matthias Puech1,2 1 Dept. Yann R´egis-Gianas2 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-05-20 08:53:24
25	Tests of auditory–visual integration efficiency within the framework of the fuzzy logical model of perception Dominic W. Massaroa) and Michael M. Cohen University of California, Santa Cruz, California 95060 Add to Reading List Source URL: mambo.ucsc.edu Language: English - Date: 2015-02-26 02:53:05
26	Logical- and Meta-Logical Frameworks Lecture 1 Carsten Sch¨ urmann August 3, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:35 Logic in computer science Type theory Proof theory Classical logic Semantics Logical framework Propositional calculus Intuitionistic logic Negation Logic Mathematical logic Judgment
27	Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-08-10 11:35:47 Theoretical computer science Mathematical logic Logic in computer science Type theory Proof assistants Mathematics Automated theorem proving Isabelle Logical framework Twelf Formal methods Automated reasoning
28	A logical framework for incremental type-checking Matthias Puech1,2 1 Dept. Yann R´egis-Gianas2 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-08-31 11:20:00
29	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-06-03 10:17:56 Type theory Logic in computer science Lambda calculus Dependently typed programming Subroutines Combinatory logic Higher-order abstract syntax Twelf Dependent type Parameter Logical framework Fixed-point combinator
30	Peach Gödel™ Primer Peach Gödel™ logical and state fuzzing framework The Peach Gödel™ logical and state fuzzing framework produces a new class of fuzzing tool that is capable of automating the detection of logic Add to Reading List Source URL: www.peachfuzzer.com Language: English - Date: 2015-08-04 21:28:31